Inductive b := .